Towards Formal Validation of Trust and Security in the Internet of Services
Identifieur interne : 000092 ( France/Analysis ); précédent : 000091; suivant : 000093Towards Formal Validation of Trust and Security in the Internet of Services
Auteurs : Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Alexander Mödersheim [Danemark] ; Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2011.
Abstract
Abstract: Service designers and developers, while striving to meet the requirements posed by application scenarios, have a hard time to assess the trust and security impact of an option, a minor change, a combination of functionalities, etc., due to the subtle and unforeseeable situations and behaviors that can arise from this panoply of choices. This often results in the release of flawed products to end-users. This issue can be significantly mitigated by empowering designers and developers with tools that offer easy to use graphical interfaces and notations, while employing established verification techniques to efficiently tackle industrial-size problems. The formal verification of trust and security of the Internet of Services will significantly boost its development and public acceptance.
Url:
DOI: 10.1007/978-3-642-20898-0_14
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001025
- to stream Istex, to step Curation: 001001
- to stream Istex, to step Checkpoint: 000668
- to stream Main, to step Merge: 000B07
- to stream Main, to step Curation: 000B05
- to stream Main, to step Exploration: 000B05
- to stream France, to step Extraction: 000092
Links to Exploration step
ISTEX:2E6218511570257F2FD97A52A2CC03B8B7DC47CBLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Towards Formal Validation of Trust and Security in the Internet of Services</title><author><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name></author><author><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name></author><author><name sortKey="Modersheim, Alexander" sort="Modersheim, Alexander" uniqKey="Modersheim A" first="Alexander" last="Mödersheim">Alexander Mödersheim</name></author><author><name sortKey="Ponta, Elisa" sort="Ponta, Elisa" uniqKey="Ponta E" first="Elisa" last="Ponta">Elisa Ponta</name></author><author><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name></author><author><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:2E6218511570257F2FD97A52A2CC03B8B7DC47CB</idno><date when="2011" year="2011">2011</date><idno type="doi">10.1007/978-3-642-20898-0_14</idno><idno type="url">https://api.istex.fr/document/2E6218511570257F2FD97A52A2CC03B8B7DC47CB/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001025</idno><idno type="wicri:Area/Istex/Curation">001001</idno><idno type="wicri:Area/Istex/Checkpoint">000668</idno><idno type="wicri:doubleKey">0302-9743:2011:Carbone R:towards:formal:validation</idno><idno type="wicri:Area/Main/Merge">000B07</idno><idno type="wicri:Area/Main/Curation">000B05</idno><idno type="wicri:Area/Main/Exploration">000B05</idno><idno type="wicri:Area/France/Extraction">000092</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Towards Formal Validation of Trust and Security in the Internet of Services</title><author><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>Security & Trust Unit, FBK, Trento</wicri:regionArea><wicri:noRegion>Trento</wicri:noRegion></affiliation></author><author><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name><affiliation wicri:level="1"><country xml:lang="fr">Roumanie</country><wicri:regionArea>Institute e-Austria, Timişoara</wicri:regionArea><wicri:noRegion>Timişoara</wicri:noRegion></affiliation></author><author><name sortKey="Modersheim, Alexander" sort="Modersheim, Alexander" uniqKey="Modersheim A" first="Alexander" last="Mödersheim">Alexander Mödersheim</name><affiliation wicri:level="1"><country xml:lang="fr">Danemark</country><wicri:regionArea>DTU, Lyngby</wicri:regionArea><wicri:noRegion>Lyngby</wicri:noRegion></affiliation></author><author><name sortKey="Ponta, Elisa" sort="Ponta, Elisa" uniqKey="Ponta E" first="Elisa" last="Ponta">Elisa Ponta</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>SAP Research, Mougins</wicri:regionArea><wicri:noRegion>Mougins</wicri:noRegion><wicri:noRegion>Mougins</wicri:noRegion></affiliation><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>DIST, Università di Genova</wicri:regionArea><wicri:noRegion>Università di Genova</wicri:noRegion></affiliation></author><author><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name><affiliation wicri:level="1"><country xml:lang="fr">France</country><wicri:regionArea>LORIA & INRIA, Nancy Grand Est</wicri:regionArea><wicri:noRegion>Nancy Grand Est</wicri:noRegion><wicri:noRegion>Nancy Grand Est</wicri:noRegion></affiliation></author><author><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name><affiliation wicri:level="1"><country xml:lang="fr">Italie</country><wicri:regionArea>Dipartimento di Informatica, Università di Verona</wicri:regionArea><wicri:noRegion>Università di Verona</wicri:noRegion></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2011</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">2E6218511570257F2FD97A52A2CC03B8B7DC47CB</idno><idno type="DOI">10.1007/978-3-642-20898-0_14</idno><idno type="ChapterID">14</idno><idno type="ChapterID">Chap14</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Service designers and developers, while striving to meet the requirements posed by application scenarios, have a hard time to assess the trust and security impact of an option, a minor change, a combination of functionalities, etc., due to the subtle and unforeseeable situations and behaviors that can arise from this panoply of choices. This often results in the release of flawed products to end-users. This issue can be significantly mitigated by empowering designers and developers with tools that offer easy to use graphical interfaces and notations, while employing established verification techniques to efficiently tackle industrial-size problems. The formal verification of trust and security of the Internet of Services will significantly boost its development and public acceptance.</div></front></TEI><affiliations><list><country><li>Danemark</li><li>France</li><li>Italie</li><li>Roumanie</li></country></list><tree><country name="Italie"><noRegion><name sortKey="Carbone, Roberto" sort="Carbone, Roberto" uniqKey="Carbone R" first="Roberto" last="Carbone">Roberto Carbone</name></noRegion><name sortKey="Ponta, Elisa" sort="Ponta, Elisa" uniqKey="Ponta E" first="Elisa" last="Ponta">Elisa Ponta</name><name sortKey="Vigan, Luca" sort="Vigan, Luca" uniqKey="Vigan L" first="Luca" last="Vigan">Luca Vigan</name></country><country name="Roumanie"><noRegion><name sortKey="Minea, Marius" sort="Minea, Marius" uniqKey="Minea M" first="Marius" last="Minea">Marius Minea</name></noRegion></country><country name="Danemark"><noRegion><name sortKey="Modersheim, Alexander" sort="Modersheim, Alexander" uniqKey="Modersheim A" first="Alexander" last="Mödersheim">Alexander Mödersheim</name></noRegion></country><country name="France"><noRegion><name sortKey="Ponta, Elisa" sort="Ponta, Elisa" uniqKey="Ponta E" first="Elisa" last="Ponta">Elisa Ponta</name></noRegion><name sortKey="Turuani, Mathieu" sort="Turuani, Mathieu" uniqKey="Turuani M" first="Mathieu" last="Turuani">Mathieu Turuani</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Belgique/explor/OpenAccessBelV2/Data/France/Analysis
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000092 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/France/Analysis/biblio.hfd -nk 000092 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Belgique
|area= OpenAccessBelV2
|flux= France
|étape= Analysis
|type= RBID
|clé= ISTEX:2E6218511570257F2FD97A52A2CC03B8B7DC47CB
|texte= Towards Formal Validation of Trust and Security in the Internet of Services
}}
| This area was generated with Dilib version V0.6.25. |  |